منابع مشابه
Service-Oriented Logic Programming
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that formalize the discovery and binding of services to given client applications by means of logical representations of required and provided serv...
متن کاملProgramming Service Oriented Agents
This paper introduces a programming language for serviceoriented agents. Jadl++ combines the ease of use of scripting-languages with a state-of-the-art service oriented approach which allows the seamless integration of web-services. Furthermore, the language includes OWLbased ontologies for semantic descriptions of data and services, thus allowing agents to make intelligent decisions about serv...
متن کاملProgramming service oriented applications
Service Oriented Computing (SOC) plays a fundamental role for designing interoperable applications distributed over the network. Althought most of the programming aspects have been defined and standardized, a definition of the core features that development and execution frameworks have to support is still missing. In this paper we propose SOCK as a means for formalizing the basic programming a...
متن کاملAspect-Oriented Logic Meta Programming
We propose to use a logic meta-system as a general framework for aspect-oriented programming. We illustrate our approach with the implementation of a simpli ed version of the cool aspect language for expressing synchronization of Java programs. Using this case as an example we illustrate the principle of aspect-oriented logic meta programming and how it is useful for implementing weavers on the...
متن کاملDistributed object oriented logic programming
In this paper we introduce a programming language/system DK Parlog ++ which is an experimental testbed for distributed applications, particularly distributed AI and distributed knowledge base applications. The language is designed to have the concurrent computation ability of the Concurrent Logic Programming(CLP) languages, the knowledge representation and problem solving ability of Prolog, bot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2015
ISSN: 1860-5974
DOI: 10.2168/lmcs-11(3:3)2015